;;; Segment .note.ABI-tag (0000000000400254)
0000000000400254             04 00 00 00 10 00 00 00 01 00 00 00     ............
0000000000400260 47 4E 55 00 00 00 00 00 02 00 00 00 06 00 00 00 GNU.............
0000000000400270 20 00 00 00                                      ...            
